
# --- Location of QDD/BDD package installation
QDDLOC = ..

# --- Location of QDD/BDD library
LIBDIR = $(QDDLOC)/lib

# --- Location of QDD/BDD package header
INCDIR = $(QDDLOC)/include

# --- Linker flags for use with QDD
QDDFLAGS = -lqdd -lbdd -lm -lg++ -lgmp

# --- Compiler flags
CFLAGS = -g -O3 -Wall

# --- Your C++ compiler
CPP = g++

LINK_CMD = g++ shornuf.o -L$(LIBDIR) $(QDDFLAGS) -o shornuf

all: shornuf

shornuf: shornuf.o
	libtool --mode=link $(LINK_CMD)

shornuf.o: shornuf.cc
	$(CPP) $(CFLAGS) -c shornuf.cc -I$(INCDIR) -o shornuf.o

clean:
	rm -rf shornuf shornuf.o
